contravariant Hom functor

反变Hom函子